Distributed Cooperative Formal Methods Tools
نویسندگان
چکیده
This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator, and a new method for interface design called algebraic semiotics, which combines semiotics with algebraic specification. Some examples are given.
منابع مشابه
Formal Tools for Distributed Cooperative Engineering
This paper describes some formal tools to support distributed cooperative software engineering. Workers at diierent sites can collaborate on tasks including speci-cation, reenement, proving and documentation. A design record database supports alternative and incomplete development activities, and is read using any web browser; remote proof execution, animation, and informal explanation are supp...
متن کاملA Synchronous Cooperative Architecture for the PROSOFT Software Engineering Environment1
This paper shows the evolution of a software engineering environment (SEE) called PROSOFT to support the formal development of groupware applications. This environment, which is centered in the data-driven approach for software development, evolved to support cooperation in the software development process. Its transition is founded in a client/server communication model called Distributed PROS...
متن کاملFormal Methods and Tools for Distributed System Design
This document describes the research projects of the Formal Methods and Tools re
متن کاملUsing the B Method for the Formalization of Coordinated Atomic Actions
Coordinated Atomic Actions have been proven successful for building dependable distributed systems due to their support for error recovery for both competitive and cooperative concurrent activities. This chapter introduces the formal specification of Coordinated Atomic Actions emphasizing the formalization of proposed dependability mechanisms using the B formal method. The specification then al...
متن کاملEnabling the usage of formal methods by creation of convenient tools
Creation of formal specifications is being considered a relief for the difficulties of inception and construction of distributed systems. Numerous formal methods exist for the purpose of description of distributed systems and protocols. The creation of formal specifications for these systems lacks the extensive support by tools vendors. This results in lack of sophisticated tools, which help th...
متن کامل